точечные
множества на прямой, в плоскости или в пространстве, содержащие все свои прикосновения точки (См.
Прикосновения точка)
. При этом точкой прикосновения
множества Е называется такая точка (не обязательно принадлежащая
Е), что в любой её окрестности имеется по крайней мере одна точка из
Е. Примером З. м. может служить геометрическая фигура (круг, квадрат и т.д.), рассматриваемая вместе со своими граничными точками. Объединение конечного числа и пересечение любого числа З. м. снова будет З. м. Дополнение любого З. м. является открытым множеством (См.
Открытое множество) и наоборот. Наряду с открытыми множествами З. м. являются простейшими типами точечных
множеств и играют важную роль в теории функций и, в частности, в теории меры (см.
Меры теория). Среди З. м. особенно выделяются благодаря своим замечательным свойствам совершенные
множеств а, т. е. З. м., не имеющие изолированных точек (см., например,
Кантора множество).
Определение З. м. сохраняется также для
множеств в произвольных метрических и топологических пространствах. При этом для
множеств в метрических пространствах оно равносильно тому, что З. м. это множество, содержащее все свои предельные точки (См.
Предельная точка)
.